//
trait A[T <: (_)]

